<html>
<head><meta charset="utf-8"><title>2020-06-23 Steering meeting · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html">2020-06-23 Steering meeting</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201768748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201768748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201768748">(Jun 23 2020 at 19:06)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> we have our steering meeting in ~ 53 minutes</p>



<a name="201774927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201774927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201774927">(Jun 23 2020 at 20:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span>, please react with <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> to show who is participating</p>



<a name="201775048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775048">(Jun 23 2020 at 20:01)</a>:</h4>
<p>first of all, remember that we've created a HackMD team <a href="https://hackmd.io/team/rust-compiler-team?nav=overview">https://hackmd.io/team/rust-compiler-team?nav=overview</a></p>



<a name="201775114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775114">(Jun 23 2020 at 20:02)</a>:</h4>
<p>in order to be able to write to our documents I'd need to know your HackMD username to give you access, so please, DM me with it if you haven't been added yet</p>



<a name="201775164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775164">(Jun 23 2020 at 20:02)</a>:</h4>
<p>let's get started</p>



<a name="201775212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775212">(Jun 23 2020 at 20:02)</a>:</h4>
<p>the idea of the meeting would be to discuss about ways to keep improving our process and to plan some of our following work</p>



<a name="201775288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775288">(Jun 23 2020 at 20:03)</a>:</h4>
<p>for that I've added some <a href="https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ#Tasks">tasks to our Master document</a></p>



<a name="201775372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775372">(Jun 23 2020 at 20:03)</a>:</h4>
<p>we've worked a bit with <span class="user-mention" data-user-id="250987">@apiraino</span> and finished most of our cli automation <a href="https://github.com/rust-lang/triagebot/issues/645">triagebot#645</a></p>



<a name="201775490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775490">(Jun 23 2020 at 20:04)</a>:</h4>
<p>so most of our unassigned and following work is</p>



<a name="201775492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775492">(Jun 23 2020 at 20:04)</a>:</h4>
<ul>
<li>[ ] Implement @triagebot commands for each step of our procedure<ul>
<li>[ ] Unprioritized <code>I-prioritize</code> pending list</li>
<li>[ ] Unprioritized Regressions pending list</li>
<li>[ ] Nominations pending list</li>
<li>[ ] PRs waiting on team pending list</li>
<li>[ ] Agenda<ul>
<li>[ ] Render MCP section only</li>
<li>[ ] Render Beta nominations only</li>
<li>[ ] Render Stable nominations only</li>
<li>[ ] Render PRs waiting on team only</li>
<li>[ ] Render Issues of note short summary only</li>
<li>[ ] Render Issues of note P-critical only</li>
<li>[ ] Render Issues of note Unassigned P-high regressions only</li>
<li>[ ] Render Nominated Issues only</li>
<li>[ ] Render the full agenda</li>
</ul>
</li>
<li>[ ] Announcements</li>
<li>[ ] Toolstate</li>
<li>[ ] Performance regressions</li>
</ul>
</li>
<li>[ ] Propose a strategy to review all <code>P-high</code> issues</li>
<li>[ ] Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/triagebot/issues/591">#591</a>.</li>
<li>[ ] Automatically beta/stable nominate a <code>P-critical</code> issue once it's fixed. Maybe <code>P-high</code> too?.<ul>
<li>More info <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues">https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues</a></li>
</ul>
</li>
<li>[ ] Integrate Prioritization meeting automation with Zulip <a href="https://github.com/rust-lang/triagebot/pull/579">#579</a> .</li>
</ul>



<a name="201775532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775532">(Jun 23 2020 at 20:05)</a>:</h4>
<p>but I guess I'd like first to focus on listening from people on ways to make our processes better</p>



<a name="201775549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775549">(Jun 23 2020 at 20:05)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="250987">@apiraino</span> was willing to help with triagebot automation</p>



<a name="201775559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775559">(Jun 23 2020 at 20:05)</a>:</h4>
<p>I want to better understand the CLI tool versus triagebot integration</p>



<a name="201775579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775579">(Jun 23 2020 at 20:05)</a>:</h4>
<p>is the idea that we can use the logic of the CLI tool as basis for triagebot?</p>



<a name="201775600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775600">(Jun 23 2020 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> ohh great that you ask because most of the things there are unexplained :)</p>



<a name="201775604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775604">(Jun 23 2020 at 20:05)</a>:</h4>
<p>or the CLI tool just a stopgap measure until we can get triagebot integration up and running?</p>



<a name="201775615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775615">(Jun 23 2020 at 20:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775579">said</a>:</p>
<blockquote>
<p>is the idea that we can use the logic of the CLI tool as basis for triagebot?</p>
</blockquote>
<p>exactly</p>



<a name="201775660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775660">(Jun 23 2020 at 20:06)</a>:</h4>
<p>okay</p>



<a name="201775678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775678">(Jun 23 2020 at 20:06)</a>:</h4>
<p>the cli was done because it was just the easiest way to get started and have something</p>



<a name="201775687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775687">(Jun 23 2020 at 20:06)</a>:</h4>
<p>are all the todo items you listed up there already implemented in CLI ?</p>



<a name="201775699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775699">(Jun 23 2020 at 20:06)</a>:</h4>
<p>looks likely to be the case</p>



<a name="201775706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775706">(Jun 23 2020 at 20:06)</a>:</h4>
<p>I'm slowly realizing that some things would be better if we split in several triagebot commands</p>



<a name="201775752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775752">(Jun 23 2020 at 20:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775687">said</a>:</p>
<blockquote>
<p>are all the todo items you listed up there already implemented in CLI ?</p>
</blockquote>
<p>yes, all that is already implemented</p>



<a name="201775759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775759">(Jun 23 2020 at 20:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775549">said</a>:</p>
<blockquote>
<p>I think <span class="user-mention silent" data-user-id="250987">apiraino</span> was willing to help with triagebot automation</p>
</blockquote>
<p>I think also <span class="user-mention" data-user-id="301348">@Elinvynia</span> had a wish to work on the bot (if I remember reading correctly on the other stream)</p>



<a name="201775765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775765">(Jun 23 2020 at 20:07)</a>:</h4>
<p>IIUC Triagebot is meant as a flexible tool, so I also think more commands is better</p>



<a name="201775774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775774">(Jun 23 2020 at 20:07)</a>:</h4>
<p>the cli does just one big run and returns everything</p>



<a name="201775800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775800">(Jun 23 2020 at 20:07)</a>:</h4>
<p>I think we can just split the different parts of it in different triagebot commands and be able to request those lists from here</p>



<a name="201775825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775825">(Jun 23 2020 at 20:07)</a>:</h4>
<p>you might be able to model that in the short term by making the CLI tool behave like a service</p>



<a name="201775826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Elinvynia <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775826">(Jun 23 2020 at 20:07)</a>:</h4>
<p><span class="user-mention" data-user-id="250987">@apiraino</span> Yep, I'm currently working on the label reassigning :)</p>



<a name="201775891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775891">(Jun 23 2020 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775825">said</a>:</p>
<blockquote>
<p>you might be able to model that in the short term by making the CLI tool behave like a service</p>
</blockquote>
<p>(but this might also be waste of effort.)</p>



<a name="201775892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775892">(Jun 23 2020 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775759">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775549">said</a>:</p>
<blockquote>
<p>I think <span class="user-mention silent" data-user-id="250987">apiraino</span> was willing to help with triagebot automation</p>
</blockquote>
<p>I think also <span class="user-mention silent" data-user-id="301348">Elinvynia</span> had a wish to work on the bot (if I remember reading correctly on the other stream)</p>
</blockquote>
<p>there are a lot of things to do in the bot so there's work for everyone willing to do some <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span></p>



<a name="201775901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775901">(Jun 23 2020 at 20:08)</a>:</h4>
<p>By the way, is the issue with getting links for topics automatically resolved?</p>



<a name="201775915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775915">(Jun 23 2020 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775826">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> Yep, I'm currently working on the label reassigning :)</p>
</blockquote>
<p>good, to know, I'm going to put your name in the document</p>



<a name="201775947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775947">(Jun 23 2020 at 20:09)</a>:</h4>
<p>I mentioned that on the GH issue but didn't think about noting that in the document</p>



<a name="201775969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201775969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201775969">(Jun 23 2020 at 20:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775915">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775826">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> Yep, I'm currently working on the label reassigning :)</p>
</blockquote>
<p>good, to know, I'm going to put your name in the document</p>
</blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>



<a name="201776085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776085">(Jun 23 2020 at 20:10)</a>:</h4>
<p>so we have some issues around organizing our tasks</p>



<a name="201776101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776101">(Jun 23 2020 at 20:10)</a>:</h4>
<p>the document idea I had is probably a very bad one <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="201776118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776118">(Jun 23 2020 at 20:10)</a>:</h4>
<blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>
</blockquote>
<p>That would be a separate prioritization-WG repository then? Or in compiler-team with a new label for the WG?</p>



<a name="201776137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776137">(Jun 23 2020 at 20:10)</a>:</h4>
<p>but on the other hand, given that our work is not only related to triagebot I'm not sure how we can do</p>



<a name="201776151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776151">(Jun 23 2020 at 20:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776118">said</a>:</p>
<blockquote>
<blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>
</blockquote>
<p>That would be a separate repository then? Or in compiler-team with a new label for the WG?</p>
</blockquote>
<p>I was thinking exactly about that ?</p>



<a name="201776173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776173">(Jun 23 2020 at 20:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776118">said</a>:</p>
<blockquote>
<blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>
</blockquote>
<p>That would be a separate prioritization-WG repository then? Or in compiler-team with a new label for the WG?</p>
</blockquote>
<p>maybe compiler-team and label prioritization? cc <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="201776177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776177">(Jun 23 2020 at 20:11)</a>:</h4>
<p>to be honest I'm not sure</p>



<a name="201776189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776189">(Jun 23 2020 at 20:11)</a>:</h4>
<p>Maybe we can cc people from the core team?</p>



<a name="201776275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776275">(Jun 23 2020 at 20:12)</a>:</h4>
<p>anyway, we can follow up on this on another topic</p>



<a name="201776294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776294">(Jun 23 2020 at 20:12)</a>:</h4>
<p>I guess <span class="user-mention" data-user-id="116083">@pnkfelix</span> would have some good ideas here</p>



<a name="201776308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776308">(Jun 23 2020 at 20:12)</a>:</h4>
<p>so back to this question ...</p>



<a name="201776330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776330">(Jun 23 2020 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201775532">said</a>:</p>
<blockquote>
<p>but I guess I'd like first to focus on listening from people on ways to make our processes better</p>
</blockquote>
<p><span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="201776356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776356">(Jun 23 2020 at 20:13)</a>:</h4>
<p>are there some cool ideas on how to improve?</p>



<a name="201776369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Elinvynia <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776369">(Jun 23 2020 at 20:13)</a>:</h4>
<p>Does this wg currently have a page on the forge site?</p>



<a name="201776370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776370">(Jun 23 2020 at 20:13)</a>:</h4>
<p>I'm personally satisfied about our async process</p>



<a name="201776379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776379">(Jun 23 2020 at 20:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776369">said</a>:</p>
<blockquote>
<p>Does this wg currently have a page on the forge site?</p>
</blockquote>
<p>it doesn't, <span class="user-mention" data-user-id="218578">@o0Ignition0o - Jeremy Lempereur</span> was going to build a document and kind of get a page started there. After that we can also list our procedure there</p>



<a name="201776408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776408">(Jun 23 2020 at 20:13)</a>:</h4>
<p>I think it runs fine, although it can sometimes feel like you don't know where to look</p>



<a name="201776420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776420">(Jun 23 2020 at 20:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776369">said</a>:</p>
<blockquote>
<p>Does this wg currently have a page on the forge site?</p>
</blockquote>
<p>don't know If worth mentioning (or registering this somewhere), I 'd like to also have a look at moving the bot documentation from the github wiki to "the forge" <a href="#narrow/stream/224082-t-release.2Ftriagebot/topic/Triagebot.20documentation/near/201731148">see this stream</a></p>



<a name="201776535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776535">(Jun 23 2020 at 20:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776408">said</a>:</p>
<blockquote>
<p>I think it runs fine, although it can sometimes feel like you don't know where to look</p>
</blockquote>
<p>yeah that's cool, my feeling is that things are getting better and better and I have more ideas on how to keep improving</p>



<a name="201776546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776546">(Jun 23 2020 at 20:14)</a>:</h4>
<p>part of those are what's in the document :)</p>



<a name="201776555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776555">(Jun 23 2020 at 20:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776408">said</a>:</p>
<blockquote>
<p>I think it runs fine, although it can sometimes feel like you don't know where to look</p>
</blockquote>
<p>The proposed "pending lists" in triagebot will probably help</p>



<a name="201776575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776575">(Jun 23 2020 at 20:15)</a>:</h4>
<p>yes</p>



<a name="201776630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776630">(Jun 23 2020 at 20:15)</a>:</h4>
<p>to be honest, one of the main doubts I have is ...</p>



<a name="201776642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776642">(Jun 23 2020 at 20:15)</a>:</h4>
<p>so we open a topic for a set of different issues</p>



<a name="201776703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776703">(Jun 23 2020 at 20:16)</a>:</h4>
<p>prioritization ones are clear and good in my opinion, no doubt about those</p>



<a name="201776766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776766">(Jun 23 2020 at 20:16)</a>:</h4>
<p>about beta/stable nominations, I think those add more noise that solutions :), mainly once we are able to list them the day before the meeting</p>



<a name="201776798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Elinvynia <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776798">(Jun 23 2020 at 20:17)</a>:</h4>
<p>Also, since prioritization is triage in a way, are there any guidelines for when the triage-wg should add I-prioritize to issues?</p>



<a name="201776821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776821">(Jun 23 2020 at 20:17)</a>:</h4>
<p>about nominations, they may be closed before the meeting and we may spend time discussing things before hand</p>



<a name="201776824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776824">(Jun 23 2020 at 20:17)</a>:</h4>
<p>same about others</p>



<a name="201776828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776828">(Jun 23 2020 at 20:17)</a>:</h4>
<p>so unsure :)</p>



<a name="201776987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201776987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201776987">(Jun 23 2020 at 20:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776798">said</a>:</p>
<blockquote>
<p>Also, since prioritization is triage in a way, are there any guidelines for when the triage-wg should add I-prioritize to issues?</p>
</blockquote>
<p>So, If I were part of the triage-wg, I'd say that the most important work is to label regressions (those will automatically request prioritization) and maybe also add <code>I-prioritize</code> to the issues you feel are at minimum <code>P-medium</code> or <code>P-high</code></p>



<a name="201777053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777053">(Jun 23 2020 at 20:19)</a>:</h4>
<p>in an ideal world we would prioritize all the issues</p>



<a name="201777069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777069">(Jun 23 2020 at 20:19)</a>:</h4>
<p>but we live in a non ideal world :)</p>



<a name="201777164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777164">(Jun 23 2020 at 20:20)</a>:</h4>
<p>so I'd try to spend prioritizing issues that seem more urgent</p>



<a name="201777172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777172">(Jun 23 2020 at 20:20)</a>:</h4>
<p>(50 issues to prioiritize is already a lot, I don't feel like prioritizing 5000+ issues is a good idea xD)</p>



<a name="201777189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777189">(Jun 23 2020 at 20:20)</a>:</h4>
<p>exactly :)</p>



<a name="201777217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777217">(Jun 23 2020 at 20:20)</a>:</h4>
<p>but not only that, we don't want even to prioritize all the new issues :)</p>



<a name="201777227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777227">(Jun 23 2020 at 20:20)</a>:</h4>
<p>Let's just do 49 per week then <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="201777243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777243">(Jun 23 2020 at 20:21)</a>:</h4>
<p>:P</p>



<a name="201777255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777255">(Jun 23 2020 at 20:21)</a>:</h4>
<p>I'm not sure how many we get per week</p>



<a name="201777266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777266">(Jun 23 2020 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776798">said</a>:</p>
<blockquote>
<p>Also, since prioritization is triage in a way, are there any guidelines for when the triage-wg should add I-prioritize to issues?</p>
</blockquote>
<p>I think this doc from o0Ignition0o is a good starting point (just found it today ^_^)<br>
<a href="https://hackmd.io/7NRRbq62TnaezW7-n15cDw">https://hackmd.io/7NRRbq62TnaezW7-n15cDw</a></p>



<a name="201777326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777326">(Jun 23 2020 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776173">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776118">said</a>:</p>
<blockquote>
<blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>
</blockquote>
<p>That would be a separate prioritization-WG repository then? Or in compiler-team with a new label for the WG?</p>
</blockquote>
<p>maybe compiler-team and label prioritization? cc <span class="user-mention silent" data-user-id="116083">pnkfelix</span></p>
</blockquote>
<p>(i'm personally inclined to have wg-prioritization allocate its own repository, at least initially. I think other wg's have used that pattern well...)</p>



<a name="201777354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777354">(Jun 23 2020 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776642">said</a>:</p>
<blockquote>
<p>so we open a topic for a set of different issues</p>
</blockquote>
<p>back to this, do you have any thought or cool idea?</p>



<a name="201777498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777498">(Jun 23 2020 at 20:22)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777326">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776173">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776118">said</a>:</p>
<blockquote>
<blockquote>
<p>we probably want to migrate all this stuff to github issues somehow</p>
</blockquote>
<p>That would be a separate prioritization-WG repository then? Or in compiler-team with a new label for the WG?</p>
</blockquote>
<p>maybe compiler-team and label prioritization? cc <span class="user-mention silent" data-user-id="116083">pnkfelix</span></p>
</blockquote>
<p>(i'm personally inclined to have wg-prioritization allocate its own repository, at least initially. I think other wg's have used that pattern well...)</p>
</blockquote>
<p>Felix, I don't think I have rights for that, can you?</p>



<a name="201777518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777518">(Jun 23 2020 at 20:23)</a>:</h4>
<p>let me see</p>



<a name="201777639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777639">(Jun 23 2020 at 20:23)</a>:</h4>
<p>i don't think I can create one. Let me check with niko about this</p>



<a name="201777706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777706">(Jun 23 2020 at 20:24)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201776766">said</a>:</p>
<blockquote>
<p>about beta/stable nominations, I think those add more noise that solutions :), mainly once we are able to list them the day before the meeting</p>
</blockquote>
<p>I want to go back to this discussion that may have gone unnoticed</p>



<a name="201777760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777760">(Jun 23 2020 at 20:24)</a>:</h4>
<p>is people finding useful the topics that are automatically open?</p>



<a name="201777770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777770">(Jun 23 2020 at 20:24)</a>:</h4>
<p>I personally prefer to at least not get pinged for nominations</p>



<a name="201777783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777783">(Jun 23 2020 at 20:24)</a>:</h4>
<p>as there often isn't much I can do there</p>



<a name="201777817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777817">(Jun 23 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777760">said</a>:</p>
<blockquote>
<p>is people finding useful the topics that are automatically open?</p>
</blockquote>
<p>For what I saw in the last two weeks, I find not a bad workflow to spawn a new topic for each issue. yes a lot of them, but they can be easily searched (I think) and there is lot of room for discussion (and evt triage)</p>



<a name="201777858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777858">(Jun 23 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777783">said</a>:</p>
<blockquote>
<p>as there often isn't much I can do there</p>
</blockquote>
<p>well I'm not sure if we have proper instructions on what to do there ?</p>



<a name="201777867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777867">(Jun 23 2020 at 20:25)</a>:</h4>
<p>i like the idea fo nominations, but i'm not sure what we do for the other cases</p>



<a name="201777894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777894">(Jun 23 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777858">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777783">said</a>:</p>
<blockquote>
<p>as there often isn't much I can do there</p>
</blockquote>
<p>well I'm not sure if we have proper instructions on what to do there ?</p>
</blockquote>
<p>I was supposed to work on that <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>



<a name="201777902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201777902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201777902">(Jun 23 2020 at 20:25)</a>:</h4>
<p>by other cases i meant - ones marked p-critical, nominated issues</p>



<a name="201778003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778003">(Jun 23 2020 at 20:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777894">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777858">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777783">said</a>:</p>
<blockquote>
<p>as there often isn't much I can do there</p>
</blockquote>
<p>well I'm not sure if we have proper instructions on what to do there ?</p>
</blockquote>
<p>I was supposed to work on that <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>
</blockquote>
<p>hehe, no worries, I was just wondering if people know what we are supposed to do given the lack of instructions</p>



<a name="201778018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778018">(Jun 23 2020 at 20:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777770">said</a>:</p>
<blockquote>
<p>I personally prefer to at least not get pinged for nominations</p>
</blockquote>
<p>could be an idea to have a sub-group of pinged ppl instead of <code>@WG-prioritization</code>?</p>



<a name="201778025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778025">(Jun 23 2020 at 20:26)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="216206">@lcnr</span> <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span>, well I meant to point my message above, not <span class="user-mention" data-user-id="250987">@apiraino</span>'s one :)</p>



<a name="201778082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778082">(Jun 23 2020 at 20:27)</a>:</h4>
<p><span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span> not really</p>



<a name="201778113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778113">(Jun 23 2020 at 20:27)</a>:</h4>
<p>:), yeah I was guessing that</p>



<a name="201778133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778133">(Jun 23 2020 at 20:27)</a>:</h4>
<p>IIRC the goal was to prepare the agenda entry for the next meeting</p>



<a name="201778145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778145">(Jun 23 2020 at 20:27)</a>:</h4>
<p>right</p>



<a name="201778169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778169">(Jun 23 2020 at 20:27)</a>:</h4>
<p>we are going there :)</p>



<a name="201778178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778178">(Jun 23 2020 at 20:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span>s idea would be nice. I don't have a lot of time rn, but still want to keep up with pings</p>



<a name="201778182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778182">(Jun 23 2020 at 20:27)</a>:</h4>
<p>there are a lot of unorganized things right now</p>



<a name="201778185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778185">(Jun 23 2020 at 20:28)</a>:</h4>
<p>We had things ready for I-pri and I-nom I think</p>



<a name="201778247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778247">(Jun 23 2020 at 20:28)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778018">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201777770">said</a>:</p>
<blockquote>
<p>I personally prefer to at least not get pinged for nominations</p>
</blockquote>
<p>could be an idea to have a sub-group of pinged ppl instead of <code>@WG-prioritization</code>?</p>
</blockquote>
<p>I strongly second this, pings bothers me a TON <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="201778294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778294">(Jun 23 2020 at 20:28)</a>:</h4>
<p>Once a sub-group is ready, again, changing the messages only requires to change the <code>triagebot.toml</code> file</p>



<a name="201778306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778306">(Jun 23 2020 at 20:28)</a>:</h4>
<p>I'm playing with my daughter and I'm pinged by a Rust issue</p>



<a name="201778308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778308">(Jun 23 2020 at 20:28)</a>:</h4>
<p><span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="201778333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Elinvynia <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778333">(Jun 23 2020 at 20:29)</a>:</h4>
<p>Now I feel bad for pinging you the other day <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="201778337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778337">(Jun 23 2020 at 20:29)</a>:</h4>
<p>Mute the notifs :D</p>



<a name="201778343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778343">(Jun 23 2020 at 20:29)</a>:</h4>
<p>hehe :)</p>



<a name="201778368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778368">(Jun 23 2020 at 20:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778333">said</a>:</p>
<blockquote>
<p>Now I feel bad for pinging you the other day <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>
</blockquote>
<p>Ah, that rain of pings, we all remember xD</p>



<a name="201778389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778389">(Jun 23 2020 at 20:29)</a>:</h4>
<p>at least you can mute here and not in your email ;)</p>



<a name="201778413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778413">(Jun 23 2020 at 20:29)</a>:</h4>
<p>Disabled the emails entirely</p>



<a name="201778475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778475">(Jun 23 2020 at 20:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778294">said</a>:</p>
<blockquote>
<p>Once a sub-group is ready, again, changing the messages only requires to change the <code>triagebot.toml</code> file</p>
</blockquote>
<p>we were talking with <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> about an schema like that</p>



<a name="201778511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778511">(Jun 23 2020 at 20:30)</a>:</h4>
<p>maybe people don't want to be pinged because they don't know what to do further on those threads?</p>



<a name="201778552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778552">(Jun 23 2020 at 20:30)</a>:</h4>
<p>But at the same time groups are only useful for pinging, right?</p>



<a name="201778579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778579">(Jun 23 2020 at 20:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778511">said</a>:</p>
<blockquote>
<p>maybe people don't want to be pinged because they don't know what to do further on those threads?</p>
</blockquote>
<p>I dont know (yet) what to do but I wish to be pinged to learn the workflow here ( &lt;-- counterexample)</p>



<a name="201778602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778602">(Jun 23 2020 at 20:31)</a>:</h4>
<p>sorry, because I think I was confusing things with my previous message</p>



<a name="201778653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778653">(Jun 23 2020 at 20:31)</a>:</h4>
<p>I think we can have 2 groups yeah</p>



<a name="201778659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778659">(Jun 23 2020 at 20:31)</a>:</h4>
<p>what i mean is - <br>
on i-prioritize threads people don't mind getting pinged because they need to comment on the issue</p>



<a name="201778760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778760">(Jun 23 2020 at 20:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778552">said</a>:</p>
<blockquote>
<p>But at the same time groups are only useful for pinging, right?</p>
</blockquote>
<p>yes, we can make triagebot use one group and for meetings we would use the other one</p>



<a name="201778762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778762">(Jun 23 2020 at 20:32)</a>:</h4>
<p>for nominated &amp; other threads - people prefer to not be pinged because they don't have to do any work on teh thread</p>



<a name="201778792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778792">(Jun 23 2020 at 20:32)</a>:</h4>
<p>About the procedures I had <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Procedure.20for.20various.20events">this topic</a> open.</p>



<a name="201778825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778825">(Jun 23 2020 at 20:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778760">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778552">said</a>:</p>
<blockquote>
<p>But at the same time groups are only useful for pinging, right?</p>
</blockquote>
<p>yes, we can make triagebot use one group and for meetings we would use the other one</p>
</blockquote>
<p>Seems like the better solution to me</p>



<a name="201778828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778828">(Jun 23 2020 at 20:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778762">said</a>:</p>
<blockquote>
<p>for nominated &amp; other threads - people prefer to not be pinged because they don't have to do any work on teh thread</p>
</blockquote>
<p>yeah, so we need to do some work there :)</p>



<a name="201778852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778852">(Jun 23 2020 at 20:33)</a>:</h4>
<p>so maybe if we could clarify what's the process for nominated issues, people might not be concerned with the ping :D</p>



<a name="201778856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778856">(Jun 23 2020 at 20:33)</a>:</h4>
<p>or I meant, somebody at some point needs to do some work there</p>



<a name="201778902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778902">(Jun 23 2020 at 20:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778762">said</a>:</p>
<blockquote>
<p>for nominated &amp; other threads - people prefer to not be pinged because they don't have to do any work on teh thread</p>
</blockquote>
<p>I think even not pinging would be feasible too, because only one person is needed to write the agenda entry</p>



<a name="201778913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778913">(Jun 23 2020 at 20:33)</a>:</h4>
<p>in particular I'm sold with having 2 groups because pings bothers me</p>



<a name="201778914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778914">(Jun 23 2020 at 20:33)</a>:</h4>
<p>:)</p>



<a name="201778942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778942">(Jun 23 2020 at 20:33)</a>:</h4>
<p>if I mute I also mute DMs and I don't want that</p>



<a name="201778989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778989">(Jun 23 2020 at 20:34)</a>:</h4>
<p>to be fair, wg-prioritization <em>does</em> need to deal with nominated issues</p>



<a name="201778997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201778997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201778997">(Jun 23 2020 at 20:34)</a>:</h4>
<p>its just that it deals with them lazily</p>



<a name="201779002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779002">(Jun 23 2020 at 20:34)</a>:</h4>
<p>and the <code>I-nominated</code> tag suffices for that</p>



<a name="201779036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779036">(Jun 23 2020 at 20:34)</a>:</h4>
<p>just in case, we were talking about the topic that is automatically created for them</p>



<a name="201779060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779060">(Jun 23 2020 at 20:34)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201778989">said</a>:</p>
<blockquote>
<p>to be fair, wg-prirotizations <em>does</em> need to deal with nominated issues</p>
</blockquote>
<p>Currently what we do is preparing the agenda entry for the meeting, is there something else we'd need to do?</p>



<a name="201779069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779069">(Jun 23 2020 at 20:34)</a>:</h4>
<p>(by "need to deal with them", I mean "decide which ones to put on agenda for each week".)</p>



<a name="201779077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779077">(Jun 23 2020 at 20:35)</a>:</h4>
<p>we seem to be confused if we need to do something with the stuff that happens in the topic or not</p>



<a name="201779091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779091">(Jun 23 2020 at 20:35)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779069">said</a>:</p>
<blockquote>
<p>(by "need to deal with them", I mean "decide which ones to put on agenda for each week".)</p>
</blockquote>
<p>exactly</p>



<a name="201779097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779097">(Jun 23 2020 at 20:35)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> yeah that's all I'm talking about</p>



<a name="201779138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779138">(Jun 23 2020 at 20:35)</a>:</h4>
<p>Oh I see what you mean sorry</p>



<a name="201779140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779140">(Jun 23 2020 at 20:35)</a>:</h4>
<p>but it seems like the group have some confusion about it, which will be addressed in a follow up PR that explains what to do once a topic is opened</p>



<a name="201779239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779239">(Jun 23 2020 at 20:36)</a>:</h4>
<p>btw, I've documented that in a not great way but there's something here ...</p>



<a name="201779249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779249">(Jun 23 2020 at 20:36)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779077">said</a>:</p>
<blockquote>
<p>we seem to be confused if we need to do something with the stuff that happens in the topic or not</p>
</blockquote>
<p>oh I'm sorry, I thought you all were talking about wanting to get rid of github pings for I-nominated issues?</p>



<a name="201779253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779253">(Jun 23 2020 at 20:36)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779140">said</a>:</p>
<blockquote>
<p>but it seems like the group have some confusion about it, which will be addressed in a follow up PR that explains what to do once a topic is opened</p>
</blockquote>
<p>Just remind me to make progress here. I'm like a future, I need to be polled <span aria-label="rolling eyes" class="emoji emoji-1f644" role="img" title="rolling eyes">:rolling_eyes:</span></p>



<a name="201779264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779264">(Jun 23 2020 at 20:36)</a>:</h4>
<p>were you talking about zulip pings or something?</p>



<a name="201779274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779274">(Jun 23 2020 at 20:36)</a>:</h4>
<p><a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#I-nominated">https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#I-nominated</a></p>



<a name="201779275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779275">(Jun 23 2020 at 20:36)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779264">said</a>:</p>
<blockquote>
<p>were you talking about zulip pings or something?</p>
</blockquote>
<p>Zulip pings, yes</p>



<a name="201779284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779284">(Jun 23 2020 at 20:36)</a>:</h4>
<p>ah I misunderstood the complaint there</p>



<a name="201779336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779336">(Jun 23 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779253">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779140">said</a>:</p>
<blockquote>
<p>but it seems like the group have some confusion about it, which will be addressed in a follow up PR that explains what to do once a topic is opened</p>
</blockquote>
<p>Just remind me to make progress here. I'm like a future, I need to be polled <span aria-label="rolling eyes" class="emoji emoji-1f644" role="img" title="rolling eyes">:rolling_eyes:</span></p>
</blockquote>
<p>don't even say that, otherwise you will be frequently polled <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="201779365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779365">(Jun 23 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779336">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779253">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779140">said</a>:</p>
<blockquote>
<p>but it seems like the group have some confusion about it, which will be addressed in a follow up PR that explains what to do once a topic is opened</p>
</blockquote>
<p>Just remind me to make progress here. I'm like a future, I need to be polled <span aria-label="rolling eyes" class="emoji emoji-1f644" role="img" title="rolling eyes">:rolling_eyes:</span></p>
</blockquote>
<p>don't even say that, otherwise you will be frequently polled <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>
</blockquote>
<p>Perfect :D</p>



<a name="201779390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779390">(Jun 23 2020 at 20:37)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> is it ready now?</p>



<a name="201779394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779394">(Jun 23 2020 at 20:37)</a>:</h4>
<p>:P</p>



<a name="201779412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779412">(Jun 23 2020 at 20:38)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779274">said</a>:</p>
<blockquote>
<p><a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#I-nominated">https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#I-nominated</a></p>
</blockquote>
<p>we have documented there what to do with <code>I-nominated</code></p>



<a name="201779475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779475">(Jun 23 2020 at 20:38)</a>:</h4>
<p>and in that same document you can do what to do with the rest</p>



<a name="201779503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779503">(Jun 23 2020 at 20:38)</a>:</h4>
<p>but the idea would be to include that text, shaped a bit better as the first line of the topic</p>



<a name="201779507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779507">(Jun 23 2020 at 20:38)</a>:</h4>
<p>so we are constantly reminded of what to do</p>



<a name="201779520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779520">(Jun 23 2020 at 20:38)</a>:</h4>
<p>and also let's not forget that new contributors may join the group :)</p>



<a name="201779581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779581">(Jun 23 2020 at 20:39)</a>:</h4>
<p>20 mins left</p>



<a name="201779596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779596">(Jun 23 2020 at 20:39)</a>:</h4>
<p>I think we can talk briefly about automations that we have in our tasks</p>



<a name="201779665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779665">(Jun 23 2020 at 20:40)</a>:</h4>
<p>just throwing in an idea - would members benefit if every thread opens with a small paragraph about what is supposed to be done?</p>



<a name="201779729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779729">(Jun 23 2020 at 20:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779665">said</a>:</p>
<blockquote>
<p>just throwing in an idea - would members benefit if every thread opens with a small paragraph about what is supposed to be done?</p>
</blockquote>
<p>That was the idea <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> proposed, I think</p>



<a name="201779744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779744">(Jun 23 2020 at 20:40)</a>:</h4>
<p>yes, that's the idea</p>



<a name="201779777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779777">(Jun 23 2020 at 20:41)</a>:</h4>
<p>if you all agree, let's discuss some automations</p>



<a name="201779780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779780">(Jun 23 2020 at 20:41)</a>:</h4>
<p>srry haven't followed every message in today's meeting <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="201779800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779800">(Jun 23 2020 at 20:41)</a>:</h4>
<p>no worries</p>



<a name="201779827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779827">(Jun 23 2020 at 20:41)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201779777">said</a>:</p>
<blockquote>
<p>if you all agree, let's discuss some automations</p>
</blockquote>
<p>and maybe some people want to get some tasks :)</p>



<a name="201779918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779918">(Jun 23 2020 at 20:42)</a>:</h4>
<ul>
<li>[ ] Implement @triagebot commands for each step of our procedure<ul>
<li>[ ] Unprioritized <code>I-prioritize</code> pending list</li>
<li>[ ] Unprioritized Regressions pending list</li>
<li>[ ] Nominations pending list</li>
<li>[ ] PRs waiting on team pending list</li>
<li>[ ] Agenda<ul>
<li>[ ] Render MCP section only</li>
<li>[ ] Render Beta nominations only</li>
<li>[ ] Render Stable nominations only</li>
<li>[ ] Render PRs waiting on team only</li>
<li>[ ] Render Issues of note short summary only</li>
<li>[ ] Render Issues of note P-critical only</li>
<li>[ ] Render Issues of note Unassigned P-high regressions only</li>
<li>[ ] Render Nominated Issues only</li>
<li>[ ] Render the full agenda</li>
</ul>
</li>
<li>[ ] Announcements</li>
<li>[ ] Toolstate</li>
<li>[ ] Performance regressions</li>
</ul>
</li>
<li>[ ] [Elinvynia] Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/triagebot/issues/591">#591</a>.</li>
<li>[ ] Automatically beta/stable nominate a <code>P-critical</code> issue once it's fixed. Maybe <code>P-high</code> too?.<ul>
<li>More info <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues">https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues</a></li>
</ul>
</li>
</ul>



<a name="201779948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779948">(Jun 23 2020 at 20:42)</a>:</h4>
<p>this is more or less the complete list of "pending" automations</p>



<a name="201779999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201779999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201779999">(Jun 23 2020 at 20:42)</a>:</h4>
<p>my .2 cents about "[ ] Implement @triagebot commands for each step of our procedure". should we first define the UI of the bot then say we need to implement X,Y and Z cmds?</p>



<a name="201780034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780034">(Jun 23 2020 at 20:43)</a>:</h4>
<p>yes, that's the first thing we would need to do</p>



<a name="201780035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780035">(Jun 23 2020 at 20:43)</a>:</h4>
<p>and then we can also split the subtasks</p>



<a name="201780045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780045">(Jun 23 2020 at 20:43)</a>:</h4>
<p>yes</p>



<a name="201780056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780056">(Jun 23 2020 at 20:43)</a>:</h4>
<p>I think the first main task is that one</p>



<a name="201780078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780078">(Jun 23 2020 at 20:43)</a>:</h4>
<p>come up with a set of commands for triagebot</p>



<a name="201780090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780090">(Jun 23 2020 at 20:43)</a>:</h4>
<p>ideas are welcome</p>



<a name="201780096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780096">(Jun 23 2020 at 20:43)</a>:</h4>
<p>:)</p>



<a name="201780140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780140">(Jun 23 2020 at 20:44)</a>:</h4>
<p>something was proposed <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/More.20triagebot.20automations">in this stream</a> I'll recap here for brevity</p>



<a name="201780171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780171">(Jun 23 2020 at 20:44)</a>:</h4>
<p>Command: <code>@triagebot prioritize i-prioritize</code><br>
retrieve all <code>I-prioritize</code> issues</p>
<p>Command: <code>@triagebot prioritize i-prioritize.t-compiler</code><br>
retrieve three separate issues lists</p>
<p>Command: <code>@triagebot list I-priotitize + T-compiler</code><br>
alternative syntax</p>



<a name="201780212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780212">(Jun 23 2020 at 20:44)</a>:</h4>
<p>( <span aria-label="up" class="emoji emoji-2b06" role="img" title="up">:up:</span> checked this stuff today)</p>



<a name="201780221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780221">(Jun 23 2020 at 20:44)</a>:</h4>
<p>yeah that's cool</p>



<a name="201780265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780265">(Jun 23 2020 at 20:44)</a>:</h4>
<p>oh I was the one that proposed that <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="201780308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780308">(Jun 23 2020 at 20:45)</a>:</h4>
<p>it kind of clicked to me, I see that's why</p>



<a name="201780365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780365">(Jun 23 2020 at 20:45)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> you that have played more with triagebot, how easy would be to do something like that?</p>



<a name="201780367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780367">(Jun 23 2020 at 20:45)</a>:</h4>
<p>if no alternate proposal arise, we can move this draft to a more concrete proposal</p>



<a name="201780470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780470">(Jun 23 2020 at 20:46)</a>:</h4>
<p>I guess the main problem is how well the triagebot infraestructure will play with commands like those</p>



<a name="201780488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780488">(Jun 23 2020 at 20:46)</a>:</h4>
<p>unsure how are commands parsed today</p>



<a name="201780547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780547">(Jun 23 2020 at 20:47)</a>:</h4>
<p>I guess we don't want to make this overcomplex and end spending 90% of the time tweaking the command parsing code</p>



<a name="201780548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780548">(Jun 23 2020 at 20:47)</a>:</h4>
<p>also checked that one :-)<br>
here a sample POST done by your cmdline tool</p>



<a name="201780573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780573">(Jun 23 2020 at 20:47)</a>:</h4>
<div class="codehilite"><pre><span></span><code>POST /https://rust-lang.zulipchat.com/api/v1/messages
Auth: `BOT_EMAIL:bot_api_token`
request = {
    &quot;type&quot;: &quot;stream&quot;,
    &quot;to&quot;: &quot;t-compiler/wg-prioritization&quot;,
    &quot;topic&quot;: &quot;I-prioritize #123456 Issue title&quot;,
    &quot;content&quot;: &quot;Issue title (maybe)&quot;,
}
</code></pre></div>



<a name="201780617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780617">(Jun 23 2020 at 20:47)</a>:</h4>
<p>I might suggest</p>



<a name="201780626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780626">(Jun 23 2020 at 20:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780365">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> you that have played more with triagebot, how easy would be to do something like that?</p>
</blockquote>
<p>Listing issues support pagination, but there was the idea to use <span class="user-mention silent" data-user-id="219696">XAMPPRocky</span>'s lib octocrab for that</p>



<a name="201780629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780629">(Jun 23 2020 at 20:47)</a>:</h4>
<p>if there is a regular recipe that is followed every week</p>



<a name="201780668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780668">(Jun 23 2020 at 20:48)</a>:</h4>
<p>then you might consider having alias for the commands</p>



<a name="201780698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780698">(Jun 23 2020 at 20:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780626">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780365">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> you that have played more with triagebot, how easy would be to do something like that?</p>
</blockquote>
<p>Listing issues support pagination, but there was the idea to use <span class="user-mention silent" data-user-id="219696">XAMPPRocky</span>'s lib octocrab for that</p>
</blockquote>
<p>for now is not an issue :)</p>



<a name="201780699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780699">(Jun 23 2020 at 20:48)</a>:</h4>
<p>that corresponds to steps in the recipe</p>



<a name="201780725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780725">(Jun 23 2020 at 20:48)</a>:</h4>
<p>e.g. <code>@triagebot step1</code></p>



<a name="201780779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780779">(Jun 23 2020 at 20:48)</a>:</h4>
<p>and it would do the first thing (and spell out the full command for it, perhaps, so that you can redo it and refine it if necessary)</p>



<a name="201780781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780781">(Jun 23 2020 at 20:48)</a>:</h4>
<p>yeah I guess at some point I'd like a meta command that runs a bunch of commands</p>



<a name="201780867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780867">(Jun 23 2020 at 20:49)</a>:</h4>
<p>maybe <code>@triagebot agenda step1</code> or something like that; no need to assume that this recipe is the only one you'll ever need</p>



<a name="201780886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780886">(Jun 23 2020 at 20:49)</a>:</h4>
<p>right</p>



<a name="201780906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780906">(Jun 23 2020 at 20:49)</a>:</h4>
<p>I'm just figuring that it would be a shame to have to reference a document to know what commands to run</p>



<a name="201780908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201780908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201780908">(Jun 23 2020 at 20:49)</a>:</h4>
<p>something like that is what we want I guess</p>



<a name="201781005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781005">(Jun 23 2020 at 20:50)</a>:</h4>
<p>but I will note that I do like having the expressive command forms available</p>



<a name="201781007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781007">(Jun 23 2020 at 20:50)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116122">@simulacrum</span> for the triagebot questions</p>



<a name="201781013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781013">(Jun 23 2020 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780573">said</a>:</p>
<blockquote>
<div class="codehilite"><pre><span></span><code>POST /https://rust-lang.zulipchat.com/api/v1/messages
Auth: `BOT_EMAIL:bot_api_token`
request = {
    &quot;type&quot;: &quot;stream&quot;,
    &quot;to&quot;: &quot;t-compiler/wg-prioritization&quot;,
    &quot;topic&quot;: &quot;I-prioritize #123456 Issue title&quot;,
    &quot;content&quot;: &quot;Issue title (maybe)&quot;,
}
</code></pre></div>


</blockquote>
<p>Antonio, I'm not sure what did you mean</p>



<a name="201781084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781084">(Jun 23 2020 at 20:50)</a>:</h4>
<p>I was mainly wondering what is triagebot current code able to parse as command</p>



<a name="201781089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781089">(Jun 23 2020 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780488">said</a>:</p>
<blockquote>
<p>unsure how are commands parsed today</p>
</blockquote>
<p>I think parsing is done in a token by token basis</p>



<a name="201781095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781095">(Jun 23 2020 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span></p>
<div class="codehilite"><pre><span></span><code>Antonio, I&#39;m not sure what did you mean
</code></pre></div>


<p>nevermind, sorry I misunderstood</p>



<a name="201781149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781149">(Jun 23 2020 at 20:51)</a>:</h4>
<p>So you parse words, punctuation, etc... and you can iterate through them</p>



<a name="201781158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781158">(Jun 23 2020 at 20:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201780867">said</a>:</p>
<blockquote>
<p>maybe <code>@triagebot agenda step1</code> or something like that; no need to assume that this recipe is the only one you'll ever need</p>
</blockquote>
<p>this would work well if all steps are done in sync, else people may heve to check which step is what</p>



<a name="201781191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781191">(Jun 23 2020 at 20:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201781149">said</a>:</p>
<blockquote>
<p>So you parse words, punctuation, etc... and you can iterate through them</p>
</blockquote>
<p>well that sounds good</p>



<a name="201781201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781201">(Jun 23 2020 at 20:51)</a>:</h4>
<p>So I don't think implementing the command syntax you proposed would be too hard</p>



<a name="201781222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781222">(Jun 23 2020 at 20:51)</a>:</h4>
<p>cool</p>



<a name="201781242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781242">(Jun 23 2020 at 20:52)</a>:</h4>
<p>let's do the following then</p>



<a name="201781295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781295">(Jun 23 2020 at 20:52)</a>:</h4>
<p>I'm going to come up with a full proposal for these commands</p>



<a name="201781313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781313">(Jun 23 2020 at 20:52)</a>:</h4>
<p>list them on a topic and we can discuss and improve</p>



<a name="201781344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781344">(Jun 23 2020 at 20:52)</a>:</h4>
<p>meanwhile if people want to work on some of the automation regardless would be great</p>



<a name="201781365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781365">(Jun 23 2020 at 20:52)</a>:</h4>
<p>mainly given that, some are independent of this</p>



<a name="201781409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781409">(Jun 23 2020 at 20:53)</a>:</h4>
<p>and some that depend we could just change the command name and args if the work is done before defining this</p>



<a name="201781468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781468">(Jun 23 2020 at 20:53)</a>:</h4>
<p>in particular</p>



<a name="201781472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781472">(Jun 23 2020 at 20:53)</a>:</h4>
<ul>
<li>[ ] [Elinvynia] Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/triagebot/issues/591">#591</a>.</li>
<li>[ ] Automatically beta/stable nominate a <code>P-critical</code> issue once it's fixed. Maybe <code>P-high</code> too?.<ul>
<li>More info <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues">https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues</a></li>
</ul>
</li>
</ul>



<a name="201781480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781480">(Jun 23 2020 at 20:53)</a>:</h4>
<p>these two are independent</p>



<a name="201781616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781616">(Jun 23 2020 at 20:54)</a>:</h4>
<p>and also the one we were talking with <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span>, the one about adding some explanation about what to do on each topic</p>



<a name="201781623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781623">(Jun 23 2020 at 20:54)</a>:</h4>
<blockquote>
<ul>
<li>Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/rust/issues/591">#591</a>.</li>
</ul>
</blockquote>
<p>This is going to be a life saver I think. Would also be great to have a command to retrieve the link to the current channel, which is hard to do e.g. on a phone</p>



<a name="201781646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781646">(Jun 23 2020 at 20:54)</a>:</h4>
<p>yes</p>



<a name="201781674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781674">(Jun 23 2020 at 20:55)</a>:</h4>
<p>a weird suggestion - we could do a dry run. Let someone act as if these are implemented and type the commands and another person acts like the "bot" and fetches it</p>



<a name="201781694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781694">(Jun 23 2020 at 20:55)</a>:</h4>
<p>last week I went over zillions of issues and ended not adding links because it was taking too much time</p>



<a name="201781787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781787">(Jun 23 2020 at 20:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201781674">said</a>:</p>
<blockquote>
<p>a weird suggestion - we could do a dry run. Let someone act as if these are implemented and type the commands and another person acts like the "bot" and fetches it</p>
</blockquote>
<p>I can do. I'm used to copy-pasting <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="201781850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781850">(Jun 23 2020 at 20:56)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201781674">said</a>:</p>
<blockquote>
<p>a weird suggestion - we could do a dry run. Let someone act as if these are implemented and type the commands and another person acts like the "bot" and fetches it</p>
</blockquote>
<p>you meant, as a way of showing what the commands needs to do?</p>



<a name="201781896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781896">(Jun 23 2020 at 20:56)</a>:</h4>
<p>yes also that way it may be easier to plan out how the commands should look like</p>



<a name="201781929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781929">(Jun 23 2020 at 20:56)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="201781979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781979">(Jun 23 2020 at 20:57)</a>:</h4>
<p>anyway should be easy to figure out by running the cli</p>



<a name="201781992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201781992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201781992">(Jun 23 2020 at 20:57)</a>:</h4>
<p>because the work is already done</p>



<a name="201782012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782012">(Jun 23 2020 at 20:57)</a>:</h4>
<p>what we need is to connect it to a triagebot command</p>



<a name="201782040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782040">(Jun 23 2020 at 20:57)</a>:</h4>
<p>I may be able to do one that serves as an example</p>



<a name="201782078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782078">(Jun 23 2020 at 20:57)</a>:</h4>
<p>and then would be easier to implement the rest I think</p>



<a name="201782151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782151">(Jun 23 2020 at 20:58)</a>:</h4>
<p>well we are almost on time</p>



<a name="201782179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782179">(Jun 23 2020 at 20:58)</a>:</h4>
<p>to wrap up</p>



<a name="201782224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782224">(Jun 23 2020 at 20:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> can you figure out the repo? as soon as we have that I can create issues there</p>



<a name="201782248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782248">(Jun 23 2020 at 20:59)</a>:</h4>
<p>I'm going to make a proposal for triagebot commands and share here</p>



<a name="201782284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782284">(Jun 23 2020 at 20:59)</a>:</h4>
<p><span class="user-mention" data-user-id="301348">@Elinvynia</span> is working on "Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/triagebot/issues/591">#591</a>."</p>



<a name="201782322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782322">(Jun 23 2020 at 20:59)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> needs to be pinged about adding explanations of what to do to each topic :)</p>



<a name="201782435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782435">(Jun 23 2020 at 21:00)</a>:</h4>
<p>the rest of the tasks are here <a href="https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?view#Tasks">https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?view#Tasks</a> if someone wants to work on something feel free to add your name and do not hesitate to ask for help</p>



<a name="201782460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782460">(Jun 23 2020 at 21:00)</a>:</h4>
<p>if no one has anything else to share, I guess we can close this meeting ...</p>



<a name="201782666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782666">(Jun 23 2020 at 21:02)</a>:</h4>
<p>I have some questions about the Agenda part but ok to talk about it with you <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>  async</p>



<a name="201782740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782740">(Jun 23 2020 at 21:03)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span>  well I guess that's all for the main meeting <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="201782801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782801">(Jun 23 2020 at 21:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201782666">said</a>:</p>
<blockquote>
<p>I have some questions about the Agenda part but ok to talk about it with you <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span>  async</p>
</blockquote>
<p>let's continue in this topic anyway</p>



<a name="201782810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782810">(Jun 23 2020 at 21:03)</a>:</h4>
<p>tell me</p>



<a name="201782940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782940">(Jun 23 2020 at 21:04)</a>:</h4>
<p>was just wondering if the output split for the Agenda you suggest in the hackmd is relevant to the triaging bot discussion we had right now</p>



<a name="201782965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201782965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201782965">(Jun 23 2020 at 21:04)</a>:</h4>
<p>these tasks, namely</p>
<div class="codehilite"><pre><span></span><code> Agenda
    Render MCP section only
    Render Beta nominations only
    Render Stable nominations only
    Render PRs waiting on team only
    Render Issues of note short summary only
    Render Issues of note P-critical only
    Render Issues of note Unassigned P-high regressions only
    Render Nominated Issues only
    Render the full agenda
</code></pre></div>



<a name="201783050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783050">(Jun 23 2020 at 21:05)</a>:</h4>
<p>maybe I dont have clear why are they under the triagebot commands main section of the todo list</p>



<a name="201783145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783145">(Jun 23 2020 at 21:06)</a>:</h4>
<p>sorry, I think I didn't properly understood what you meant</p>



<a name="201783163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783163">(Jun 23 2020 at 21:06)</a>:</h4>
<p>yeah, me neither :-)</p>



<a name="201783170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783170">(Jun 23 2020 at 21:06)</a>:</h4>
<p>what is the output split for the agenda that I have suggested?</p>



<a name="201783203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783203">(Jun 23 2020 at 21:06)</a>:</h4>
<p>I guess the question I have here is what would the UI be?</p>



<a name="201783205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783205">(Jun 23 2020 at 21:07)</a>:</h4>
<p>what part of the discussion are you referring to?</p>



<a name="201783269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783269">(Jun 23 2020 at 21:07)</a>:</h4>
<p>ok first question: does the output of the agenda depends on the bot output or is that a kind of "summary" of the previous commands?</p>



<a name="201783276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783276">(Jun 23 2020 at 21:07)</a>:</h4>
<p>so ... right now the cli writes to console each of the steps we follow</p>



<a name="201783371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783371">(Jun 23 2020 at 21:08)</a>:</h4>
<p>let me try to explain from scratch just in case</p>



<a name="201783459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783459">(Jun 23 2020 at 21:09)</a>:</h4>
<p>right now our cli runs, make a lot of github queries about a lot of things we need to discuss, like i-nominated issues, beta/stable nominated issues, i-prioritize issues and so on</p>



<a name="201783473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783473">(Jun 23 2020 at 21:09)</a>:</h4>
<p>and it also make some queries to build the agenda</p>



<a name="201783500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783500">(Jun 23 2020 at 21:09)</a>:</h4>
<p>all that is right now done "sync", like all at once</p>



<a name="201783519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783519">(Jun 23 2020 at 21:09)</a>:</h4>
<p>we are moving towards a thing that running everything at once does not make sense</p>



<a name="201783533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783533">(Jun 23 2020 at 21:10)</a>:</h4>
<p>because we are doing the work as we go</p>



<a name="201783635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783635">(Jun 23 2020 at 21:10)</a>:</h4>
<p>for instance, listing i-prioritize or nightly/beta regressions won't make sense because we are asynchronously requested to prioritize those</p>



<a name="201783672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783672">(Jun 23 2020 at 21:11)</a>:</h4>
<p>but still we may want to request what's pending about those</p>



<a name="201783722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783722">(Jun 23 2020 at 21:11)</a>:</h4>
<p>anyway ... the idea of the next work and the "proper" integration with triagebot that I had in mind is about</p>



<a name="201783772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783772">(Jun 23 2020 at 21:11)</a>:</h4>
<ol>
<li>first to be able to do <code>@triagebot something something</code> and have a part of our process running</li>
</ol>



<a name="201783833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783833">(Jun 23 2020 at 21:12)</a>:</h4>
<p>that basically means being able to run our script from here</p>



<a name="201783882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783882">(Jun 23 2020 at 21:12)</a>:</h4>
<p>and instead of having the cli asking us press any key to continue or stuff like that, we would have a command per section</p>



<a name="201783977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201783977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201783977">(Jun 23 2020 at 21:13)</a>:</h4>
<p>what I'm proposing is a mixture between not running everything at once and allow us to run the parts of the script we want</p>



<a name="201784007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784007">(Jun 23 2020 at 21:13)</a>:</h4>
<p>we could also do that in the console program</p>



<a name="201784035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784035">(Jun 23 2020 at 21:13)</a>:</h4>
<p>but in my opinion we would be winning zero</p>



<a name="201784078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784078">(Jun 23 2020 at 21:13)</a>:</h4>
<p>after that, the proposal is just to integrate that with triagebot</p>



<a name="201784087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784087">(Jun 23 2020 at 21:13)</a>:</h4>
<p>it's basically just that</p>



<a name="201784149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784149">(Jun 23 2020 at 21:14)</a>:</h4>
<p>unsure if this explains more or less but feel free to keep asking until is clear</p>



<a name="201784184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784184">(Jun 23 2020 at 21:14)</a>:</h4>
<p>ok so far, it's clear. So, in short is a command to build the <code>agenda.md</code> needed at all ?</p>



<a name="201784192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784192">(Jun 23 2020 at 21:14)</a>:</h4>
<p>I may not be easy for me to explain this in english and I may be entangling everything :)</p>



<a name="201784306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784306">(Jun 23 2020 at 21:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201784184">said</a>:</p>
<blockquote>
<p>ok so far, it's clear. So, in short is a command to build the <code>agenda.md</code> needed at all ?</p>
</blockquote>
<p>to be honest, there are things that are not 100% clear for me, I have been realizing about things as we go</p>



<a name="201784326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784326">(Jun 23 2020 at 21:15)</a>:</h4>
<p>after trying working with the ideas we've come up with</p>



<a name="201784339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784339">(Jun 23 2020 at 21:15)</a>:</h4>
<p>right now I'd say that I'd try to offer both alternatives</p>



<a name="201784347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784347">(Jun 23 2020 at 21:15)</a>:</h4>
<p>one that renders the whole agenda</p>



<a name="201784363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784363">(Jun 23 2020 at 21:15)</a>:</h4>
<p>and one that renders parts of the agenda</p>



<a name="201784446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784446">(Jun 23 2020 at 21:16)</a>:</h4>
<ul>
<li>[ ] Agenda<ul>
<li>[ ] Render MCP section only</li>
<li>[ ] Render Beta nominations only</li>
<li>[ ] Render Stable nominations only</li>
<li>[ ] Render PRs waiting on team only</li>
<li>[ ] Render Issues of note short summary only</li>
<li>[ ] Render Issues of note P-critical only</li>
<li>[ ] Render Issues of note Unassigned P-high regressions only</li>
<li>[ ] Render Nominated Issues only</li>
<li>[ ] Render the full agenda</li>
</ul>
</li>
</ul>



<a name="201784480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784480">(Jun 23 2020 at 21:16)</a>:</h4>
<p>yes those sections rendered separately</p>



<a name="201784506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784506">(Jun 23 2020 at 21:16)</a>:</h4>
<p>check how says render the full agenda at the end too</p>



<a name="201784749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784749">(Jun 23 2020 at 21:18)</a>:</h4>
<p>yes, so if like <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> said before, the UI of the agenda is clear we can start already splitting the "big single" CLi command that builds the agenda into a separate set of CLI subcommands? like<br>
<code>cargo run --bin prio agenda item1, item2, ... iteN</code></p>



<a name="201784774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784774">(Jun 23 2020 at 21:18)</a>:</h4>
<p>or for the agenda also you want to get rid of the CLI tool?</p>



<a name="201784829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784829">(Jun 23 2020 at 21:19)</a>:</h4>
<p>... and delegate the bot for that part, too?</p>



<a name="201784867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784867">(Jun 23 2020 at 21:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201784007">said</a>:</p>
<blockquote>
<p>we could also do that in the console program</p>
</blockquote>



<a name="201784876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784876">(Jun 23 2020 at 21:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201784035">said</a>:</p>
<blockquote>
<p>but in my opinion we would be winning zero</p>
</blockquote>



<a name="201784911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784911">(Jun 23 2020 at 21:19)</a>:</h4>
<p>From what I understand getting rid of the CLI is the goal</p>



<a name="201784970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784970">(Jun 23 2020 at 21:20)</a>:</h4>
<p>ah right, me dumb</p>



<a name="201784981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201784981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201784981">(Jun 23 2020 at 21:20)</a>:</h4>
<p>Nah</p>



<a name="201785091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201785091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201785091">(Jun 23 2020 at 21:21)</a>:</h4>
<p>anyway think I have the picture a bit more clear, thanks Santiago and Artichaut <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="201785120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201785120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201785120">(Jun 23 2020 at 21:21)</a>:</h4>
<p>Thanks to you <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="201785303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201785303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201785303">(Jun 23 2020 at 21:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201782224">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> can you figure out the repo? as soon as we have that I can create issues there</p>
</blockquote>
<p>ill figure it out</p>



<a name="201785327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201785327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201785327">(Jun 23 2020 at 21:23)</a>:</h4>
<p>(had hands full with high priority interrupt from family)</p>



<a name="201790254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23%20Steering%20meeting/near/201790254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-06-23.20Steering.20meeting.html#201790254">(Jun 23 2020 at 22:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-06-23.20Steering.20meeting/near/201785327">said</a>:</p>
<blockquote>
<p>(had hands full with high priority interrupt from family)</p>
</blockquote>
<p>no worries, take your time</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>